/***********************************************************************
*                                                                      *
*               This software is part of the ast package               *
*          Copyright (c) 1999-2011 AT&T Intellectual Property          *
*                      and is licensed under the                       *
*                 Eclipse Public License, Version 1.0                  *
*                    by AT&T Intellectual Property                     *
*                                                                      *
*                A copy of the License is available at                 *
*          http://www.eclipse.org/org/documents/epl-v10.html           *
*         (with md5 checksum b35adb5213ca9657e911e9befb180842)         *
*                                                                      *
*              Information and Software Systems Research               *
*                            AT&T Research                             *
*                           Florham Park NJ                            *
*                                                                      *
*                 Glenn Fowler <gsf@research.att.com>                  *
*                                                                      *
***********************************************************************/
#include "vmtest.h"

/* This test was from E Koutsofios to fix a bug with extending
** a region under Vmlast. On occasions, the bottom block does
** not get initialized correctly resulting in a Memory Fault
** because the "seg" field of the block is not set.
*/

static char *vms[1000];

tmain()
{
	Vmalloc_t *vm;
	vm = vmopen (Vmdcsbrk, Vmlast, 0);

	vms[0] = vmalloc (Vmheap, 176);
	vms[1] = vmalloc (Vmheap, 1024);
	vms[2] = vmalloc (Vmheap, 176);
	vms[3] = vmalloc (Vmheap, 1024);
	vms[4] = vmalloc (Vmheap, 176);
	vms[5] = vmalloc (Vmheap, 1024);
	vms[6] = vmalloc (Vmheap, 72);
	vms[7] = vmalloc (Vmheap, 40);
	vms[8] = vmalloc (Vmheap, 2048);
	vms[9] = vmalloc (Vmheap, 176);
	vms[10] = vmalloc (Vmheap, 64);
	vms[11] = vmalloc (Vmheap, 1024);
	vms[12] = vmalloc (Vmheap, 64);
	vms[13] = vmalloc (Vmheap, 72);
	vms[14] = vmalloc (Vmheap, 40);
	vms[15] = vmalloc (Vmheap, 31);
	vms[16] = vmalloc (Vmheap, 2048);
	vms[17] = vmalloc (Vmheap, 29);
	vms[18] = vmalloc (Vmheap, 36);
	vms[19] = vmalloc (Vmheap, 112);
	vms[20] = vmalloc (Vmheap, 65536);
	vms[21] = vmalloc (Vmheap, 29851672);
	vms[22] = vmalloc (vm, 29850757);
	vms[23] = vmalloc (vm, 72);
	vms[24] = vmalloc (vm, 12);
	vms[25] = vmalloc (vm, 72);
	vms[26] = vmalloc (vm, 16);
	vms[27] = vmalloc (vm, 4);
	vms[28] = vmalloc (vm, 72);
	vms[29] = vmalloc (vm, 16);
	vms[30] = vmalloc (vm, 8);
	vms[31] = vmalloc (vm, 72);
	vms[32] = vmalloc (vm, 16);
	vms[33] = vmalloc (vm, 4);
	vms[34] = vmalloc (vm, 72);
	vms[35] = vmalloc (vm, 6);
	vms[36] = vmalloc (vm, 72);
	vms[37] = vmalloc (vm, 16);
	vms[38] = vmalloc (vm, 34);
	vms[39] = vmalloc (vm, 72);
	vms[29] = vmresize (vm, vms[29], 48, VM_RSCOPY);
	vms[40] = vmalloc (vm, 8);
	vms[41] = vmalloc (vm, 72);
	vms[42] = vmalloc (vm, 16);
	vms[43] = vmalloc (vm, 36);
	vms[44] = vmalloc (vm, 72);
	vms[45] = vmalloc (vm, 4);
	vms[46] = vmalloc (vm, 72);
	vms[47] = vmalloc (vm, 16);
	vms[48] = vmalloc (vm, 111);
	vms[49] = vmalloc (vm, 72);
	vms[50] = vmalloc (vm, 4);
	vms[51] = vmalloc (vm, 72);
	vms[52] = vmalloc (vm, 16);
	vms[53] = vmalloc (vm, 17);
	vms[54] = vmalloc (vm, 72);
	vms[55] = vmalloc (vm, 6);
	vms[56] = vmalloc (vm, 72);
	vms[57] = vmalloc (vm, 16);
	vms[58] = vmalloc (vm, 5);
	vms[59] = vmalloc (vm, 72);
	vms[60] = vmalloc (vm, 16);
	vms[61] = vmalloc (vm, 17);
	vms[62] = vmalloc (vm, 72);
	vms[63] = vmalloc (vm, 5);
	vms[64] = vmalloc (vm, 72);
	vms[65] = vmalloc (vm, 16);
	vms[66] = vmalloc (vm, 11);
	vms[67] = vmalloc (vm, 72);
	vms[57] = vmresize (vm, vms[57], 48, VM_RSCOPY);
	vms[68] = vmalloc (vm, 5);
	vms[69] = vmalloc (vm, 72);
	vms[70] = vmalloc (vm, 16);
	vms[71] = vmalloc (vm, 13);
	vms[72] = vmalloc (vm, 72);
	vms[29] = vmresize (vm, vms[29], 112, VM_RSCOPY);
	vms[73] = vmalloc (vm, 7);
	vms[74] = vmalloc (vm, 72);
	vms[75] = vmalloc (vm, 16);
	vms[76] = vmalloc (vm, 5);
	vms[77] = vmalloc (vm, 72);
	vms[78] = vmalloc (vm, 16);
	vms[79] = vmalloc (vm, 17);
	vms[80] = vmalloc (vm, 72);
	vms[81] = vmalloc (vm, 5);
	vms[82] = vmalloc (vm, 72);
	vms[83] = vmalloc (vm, 16);
	vms[84] = vmalloc (vm, 9);
	vms[85] = vmalloc (vm, 72);
	vms[75] = vmresize (vm, vms[75], 48, VM_RSCOPY);
	vms[86] = vmalloc (vm, 6);
	vms[87] = vmalloc (vm, 72);
	vms[88] = vmalloc (vm, 16);
	vms[89] = vmalloc (vm, 2);
	vms[90] = vmalloc (vm, 72);
	vms[91] = vmalloc (vm, 5);
	vms[92] = vmalloc (vm, 72);
	vms[93] = vmalloc (vm, 16);
	vms[94] = vmalloc (vm, 15);
	vms[95] = vmalloc (vm, 72);
	vms[96] = vmalloc (vm, 9);
	vms[97] = vmalloc (vm, 72);
	vms[98] = vmalloc (vm, 16);
	vms[99] = vmalloc (vm, 3);
	vms[100] = vmalloc (vm, 72);
	vms[101] = vmalloc (vm, 6);
	vms[102] = vmalloc (vm, 72);
	vms[103] = vmalloc (vm, 16);
	vms[104] = vmalloc (vm, 11);
	vms[105] = vmalloc (vm, 72);
	vms[98] = vmresize (vm, vms[98], 48, VM_RSCOPY);
	vms[106] = vmalloc (vm, 6);
	vms[107] = vmalloc (vm, 72);
	vms[108] = vmalloc (vm, 16);
	vms[109] = vmalloc (vm, 11);
	vms[110] = vmalloc (vm, 72);
	vms[111] = vmalloc (vm, 6);
	vms[112] = vmalloc (vm, 72);
	vms[113] = vmalloc (vm, 16);
	vms[114] = vmalloc (vm, 6);
	vms[115] = vmalloc (vm, 72);
	vms[116] = vmalloc (vm, 6);
	vms[117] = vmalloc (vm, 72);
	vms[118] = vmalloc (vm, 16);
	vms[119] = vmalloc (vm, 6);
	vms[120] = vmalloc (vm, 72);
	vms[121] = vmalloc (vm, 5);
	vms[122] = vmalloc (vm, 72);
	vms[123] = vmalloc (vm, 16);
	vms[124] = vmalloc (vm, 6);
	vms[125] = vmalloc (vm, 72);
	vms[98] = vmresize (vm, vms[98], 112, VM_RSCOPY);
	vms[126] = vmalloc (vm, 5);
	vms[127] = vmalloc (vm, 72);
	vms[128] = vmalloc (vm, 16);
	vms[129] = vmalloc (vm, 6);
	vms[130] = vmalloc (vm, 72);
	vms[131] = vmalloc (vm, 16);
	vms[132] = vmalloc (vm, 2);
	vms[133] = vmalloc (vm, 72);
	vms[134] = vmalloc (vm, 5);
	vms[135] = vmalloc (vm, 72);
	vms[136] = vmalloc (vm, 16);
	vms[137] = vmalloc (vm, 4);
	vms[138] = vmalloc (vm, 72);
	vms[139] = vmalloc (vm, 6);
	vms[140] = vmalloc (vm, 72);
	vms[141] = vmalloc (vm, 16);
	vms[142] = vmalloc (vm, 5);
	vms[143] = vmalloc (vm, 72);
	vms[144] = vmalloc (vm, 5);
	vms[145] = vmalloc (vm, 72);
	vms[146] = vmalloc (vm, 16);
	vms[147] = vmalloc (vm, 4);
	vms[148] = vmalloc (vm, 72);
	vms[149] = vmalloc (vm, 16);
	vms[150] = vmalloc (vm, 5);
	vms[151] = vmalloc (vm, 72);
	vms[152] = vmalloc (vm, 16);
	vms[153] = vmalloc (vm, 16);
	vms[154] = vmalloc (vm, 72);
	vms[155] = vmalloc (vm, 5);
	vms[156] = vmalloc (vm, 72);
	vms[157] = vmalloc (vm, 16);
	vms[158] = vmalloc (vm, 7);
	vms[159] = vmalloc (vm, 72);
	vms[149] = vmresize (vm, vms[149], 48, VM_RSCOPY);
	vms[160] = vmalloc (vm, 5);
	vms[161] = vmalloc (vm, 72);
	vms[162] = vmalloc (vm, 16);
	vms[163] = vmalloc (vm, 2);
	vms[164] = vmalloc (vm, 72);
	vms[165] = vmalloc (vm, 5);
	vms[166] = vmalloc (vm, 72);
	vms[167] = vmalloc (vm, 16);
	vms[168] = vmalloc (vm, 128);
	vms[169] = vmalloc (vm, 72);
	vms[170] = vmalloc (vm, 4);
	vms[171] = vmalloc (vm, 72);
	vms[172] = vmalloc (vm, 16);
	vms[173] = vmalloc (vm, 2);
	vms[174] = vmalloc (vm, 72);
	vms[175] = vmalloc (vm, 4);
	vms[176] = vmalloc (vm, 72);
	vms[177] = vmalloc (vm, 16);
	vms[178] = vmalloc (vm, 5);
	vms[179] = vmalloc (vm, 72);
	vms[180] = vmalloc (vm, 16);
	vms[181] = vmalloc (vm, 14);
	vms[182] = vmalloc (vm, 72);
	vms[183] = vmalloc (vm, 5);
	vms[184] = vmalloc (vm, 72);
	vms[185] = vmalloc (vm, 16);
	vms[186] = vmalloc (vm, 7);
	vms[187] = vmalloc (vm, 72);
	vms[177] = vmresize (vm, vms[177], 48, VM_RSCOPY);
	vms[188] = vmalloc (vm, 5);
	vms[189] = vmalloc (vm, 72);
	vms[190] = vmalloc (vm, 16);
	vms[191] = vmalloc (vm, 2);
	vms[192] = vmalloc (vm, 72);
	vms[193] = vmalloc (vm, 5);
	vms[194] = vmalloc (vm, 72);
	vms[195] = vmalloc (vm, 16);
	vms[196] = vmalloc (vm, 106);
	vms[197] = vmalloc (vm, 72);
	vms[198] = vmalloc (vm, 4);
	vms[199] = vmalloc (vm, 72);
	vms[200] = vmalloc (vm, 16);
	vms[201] = vmalloc (vm, 2);
	vms[202] = vmalloc (vm, 72);
	vms[146] = vmresize (vm, vms[146], 48, VM_RSCOPY);
	vms[203] = vmalloc (vm, 4);
	vms[204] = vmalloc (vm, 72);
	vms[205] = vmalloc (vm, 16);
	vms[206] = vmalloc (vm, 5);
	vms[207] = vmalloc (vm, 72);
	vms[208] = vmalloc (vm, 16);
	vms[209] = vmalloc (vm, 14);
	vms[210] = vmalloc (vm, 72);
	vms[211] = vmalloc (vm, 5);
	vms[212] = vmalloc (vm, 72);
	vms[213] = vmalloc (vm, 16);
	vms[214] = vmalloc (vm, 7);
	vms[215] = vmalloc (vm, 72);
	vms[205] = vmresize (vm, vms[205], 48, VM_RSCOPY);
	vms[216] = vmalloc (vm, 5);
	vms[217] = vmalloc (vm, 72);
	vms[218] = vmalloc (vm, 16);
	vms[219] = vmalloc (vm, 2);
	vms[220] = vmalloc (vm, 72);
	vms[221] = vmalloc (vm, 5);
	vms[222] = vmalloc (vm, 72);
	vms[223] = vmalloc (vm, 16);
	vms[224] = vmalloc (vm, 106);
	vms[225] = vmalloc (vm, 72);
	vms[226] = vmalloc (vm, 4);
	vms[227] = vmalloc (vm, 72);
	vms[228] = vmalloc (vm, 16);
	vms[229] = vmalloc (vm, 2);
	vms[230] = vmalloc (vm, 72);
	vms[231] = vmalloc (vm, 4);
	vms[232] = vmalloc (vm, 72);
	vms[233] = vmalloc (vm, 16);
	vms[234] = vmalloc (vm, 5);
	vms[235] = vmalloc (vm, 72);
	vms[236] = vmalloc (vm, 16);
	vms[237] = vmalloc (vm, 17);
	vms[238] = vmalloc (vm, 72);
	vms[239] = vmalloc (vm, 5);
	vms[240] = vmalloc (vm, 72);
	vms[241] = vmalloc (vm, 16);
	vms[242] = vmalloc (vm, 7);
	vms[243] = vmalloc (vm, 72);
	vms[233] = vmresize (vm, vms[233], 48, VM_RSCOPY);
	vms[244] = vmalloc (vm, 5);
	vms[245] = vmalloc (vm, 72);
	vms[246] = vmalloc (vm, 16);
	vms[247] = vmalloc (vm, 2);
	vms[248] = vmalloc (vm, 72);
	vms[249] = vmalloc (vm, 5);
	vms[250] = vmalloc (vm, 72);
	vms[251] = vmalloc (vm, 16);
	vms[252] = vmalloc (vm, 106);
	vms[253] = vmalloc (vm, 72);
	vms[254] = vmalloc (vm, 4);
	vms[255] = vmalloc (vm, 72);
	vms[256] = vmalloc (vm, 16);
	vms[257] = vmalloc (vm, 2);
	vms[258] = vmalloc (vm, 72);
	vms[259] = vmalloc (vm, 4);
	vms[260] = vmalloc (vm, 72);
	vms[261] = vmalloc (vm, 16);
	vms[262] = vmalloc (vm, 5);
	vms[263] = vmalloc (vm, 72);
	vms[264] = vmalloc (vm, 16);
	vms[265] = vmalloc (vm, 17);
	vms[266] = vmalloc (vm, 72);
	vms[267] = vmalloc (vm, 5);
	vms[268] = vmalloc (vm, 72);
	vms[269] = vmalloc (vm, 16);
	vms[270] = vmalloc (vm, 7);
	vms[271] = vmalloc (vm, 72);
	vms[261] = vmresize (vm, vms[261], 48, VM_RSCOPY);
	vms[272] = vmalloc (vm, 5);
	vms[273] = vmalloc (vm, 72);
	vms[274] = vmalloc (vm, 16);
	vms[275] = vmalloc (vm, 2);
	vms[276] = vmalloc (vm, 72);
	vms[277] = vmalloc (vm, 5);
	vms[278] = vmalloc (vm, 72);
	vms[279] = vmalloc (vm, 16);
	vms[280] = vmalloc (vm, 106);
	vms[281] = vmalloc (vm, 72);
	vms[282] = vmalloc (vm, 4);
	vms[283] = vmalloc (vm, 72);
	vms[284] = vmalloc (vm, 16);
	vms[285] = vmalloc (vm, 2);
	vms[286] = vmalloc (vm, 72);
	vms[287] = vmalloc (vm, 4);
	vms[288] = vmalloc (vm, 72);
	vms[289] = vmalloc (vm, 16);
	vms[290] = vmalloc (vm, 5);
	vms[291] = vmalloc (vm, 72);
	vms[292] = vmalloc (vm, 16);
	vms[293] = vmalloc (vm, 19);
	vms[294] = vmalloc (vm, 72);
	vms[295] = vmalloc (vm, 5);
	vms[296] = vmalloc (vm, 72);
	vms[297] = vmalloc (vm, 16);
	vms[298] = vmalloc (vm, 7);
	vms[299] = vmalloc (vm, 72);
	vms[289] = vmresize (vm, vms[289], 48, VM_RSCOPY);
	vms[300] = vmalloc (vm, 5);
	vms[301] = vmalloc (vm, 72);
	vms[302] = vmalloc (vm, 16);
	vms[303] = vmalloc (vm, 3);
	vms[304] = vmalloc (vm, 72);
	vms[305] = vmalloc (vm, 5);
	vms[306] = vmalloc (vm, 72);
	vms[307] = vmalloc (vm, 16);
	vms[308] = vmalloc (vm, 130);
	vms[309] = vmalloc (vm, 72);
	vms[310] = vmalloc (vm, 4);
	vms[311] = vmalloc (vm, 72);
	vms[312] = vmalloc (vm, 16);
	vms[313] = vmalloc (vm, 2);
	vms[314] = vmalloc (vm, 72);
	vms[146] = vmresize (vm, vms[146], 112, VM_RSCOPY);
	vms[315] = vmalloc (vm, 4);
	vms[316] = vmalloc (vm, 72);
	vms[317] = vmalloc (vm, 16);
	vms[318] = vmalloc (vm, 5);
	vms[319] = vmalloc (vm, 72);
	vms[320] = vmalloc (vm, 16);
	vms[321] = vmalloc (vm, 14);
	vms[322] = vmalloc (vm, 72);
	vms[323] = vmalloc (vm, 5);
	vms[324] = vmalloc (vm, 72);
	vms[325] = vmalloc (vm, 16);
	vms[326] = vmalloc (vm, 7);
	vms[327] = vmalloc (vm, 72);
	vms[317] = vmresize (vm, vms[317], 48, VM_RSCOPY);
	vms[328] = vmalloc (vm, 5);
	vms[329] = vmalloc (vm, 72);
	vms[330] = vmalloc (vm, 16);
	vms[331] = vmalloc (vm, 2);
	vms[332] = vmalloc (vm, 72);
	vms[333] = vmalloc (vm, 5);
	vms[334] = vmalloc (vm, 72);
	vms[335] = vmalloc (vm, 16);
	vms[336] = vmalloc (vm, 106);
	vms[337] = vmalloc (vm, 72);
	vms[338] = vmalloc (vm, 4);
	vms[339] = vmalloc (vm, 72);
	vms[340] = vmalloc (vm, 16);
	vms[341] = vmalloc (vm, 2);
	vms[342] = vmalloc (vm, 72);
	vms[343] = vmalloc (vm, 4);
	vms[344] = vmalloc (vm, 72);
	vms[345] = vmalloc (vm, 16);
	vms[346] = vmalloc (vm, 5);
	vms[347] = vmalloc (vm, 72);
	vms[348] = vmalloc (vm, 16);
	vms[349] = vmalloc (vm, 14);
	vms[350] = vmalloc (vm, 72);
	vms[351] = vmalloc (vm, 5);
	vms[352] = vmalloc (vm, 72);
	vms[353] = vmalloc (vm, 16);
	vms[354] = vmalloc (vm, 7);
	vms[355] = vmalloc (vm, 72);
	vms[345] = vmresize (vm, vms[345], 48, VM_RSCOPY);
	vms[356] = vmalloc (vm, 5);
	vms[357] = vmalloc (vm, 72);
	vms[358] = vmalloc (vm, 16);
	vms[359] = vmalloc (vm, 2);
	vms[360] = vmalloc (vm, 72);
	vms[361] = vmalloc (vm, 5);
	vms[362] = vmalloc (vm, 72);
	vms[363] = vmalloc (vm, 16);
	vms[364] = vmalloc (vm, 106);
	vms[365] = vmalloc (vm, 72);
	vms[366] = vmalloc (vm, 4);
	vms[367] = vmalloc (vm, 72);
	vms[368] = vmalloc (vm, 16);
	vms[369] = vmalloc (vm, 2);
	vms[370] = vmalloc (vm, 72);
	vms[371] = vmalloc (vm, 4);
	vms[372] = vmalloc (vm, 72);
	vms[373] = vmalloc (vm, 16);
	vms[374] = vmalloc (vm, 5);
	vms[375] = vmalloc (vm, 72);
	vms[376] = vmalloc (vm, 16);
	vms[377] = vmalloc (vm, 9);
	vms[378] = vmalloc (vm, 72);
	vms[379] = vmalloc (vm, 5);
	vms[380] = vmalloc (vm, 72);
	vms[381] = vmalloc (vm, 16);
	vms[382] = vmalloc (vm, 7);
	vms[383] = vmalloc (vm, 72);
	vms[373] = vmresize (vm, vms[373], 48, VM_RSCOPY);
	vms[384] = vmalloc (vm, 5);
	vms[385] = vmalloc (vm, 72);
	vms[386] = vmalloc (vm, 16);
	vms[387] = vmalloc (vm, 2);
	vms[388] = vmalloc (vm, 72);
	vms[389] = vmalloc (vm, 5);
	vms[390] = vmalloc (vm, 72);
	vms[391] = vmalloc (vm, 16);
	vms[392] = vmalloc (vm, 98);
	vms[393] = vmalloc (vm, 72);
	vms[394] = vmalloc (vm, 4);
	vms[395] = vmalloc (vm, 72);
	vms[396] = vmalloc (vm, 16);
	vms[397] = vmalloc (vm, 2);
	vms[398] = vmalloc (vm, 72);
	vms[399] = vmalloc (vm, 4);
	vms[400] = vmalloc (vm, 72);
	vms[401] = vmalloc (vm, 16);
	vms[402] = vmalloc (vm, 5);
	vms[403] = vmalloc (vm, 72);
	vms[404] = vmalloc (vm, 16);
	vms[405] = vmalloc (vm, 9);
	vms[406] = vmalloc (vm, 72);
	vms[407] = vmalloc (vm, 5);
	vms[408] = vmalloc (vm, 72);
	vms[409] = vmalloc (vm, 16);
	vms[410] = vmalloc (vm, 7);
	vms[411] = vmalloc (vm, 72);
	vms[401] = vmresize (vm, vms[401], 48, VM_RSCOPY);
	vms[412] = vmalloc (vm, 5);
	vms[413] = vmalloc (vm, 72);
	vms[414] = vmalloc (vm, 16);
	vms[415] = vmalloc (vm, 3);
	vms[416] = vmalloc (vm, 72);
	vms[417] = vmalloc (vm, 5);
	vms[418] = vmalloc (vm, 72);
	vms[419] = vmalloc (vm, 16);
	vms[420] = vmalloc (vm, 98);
	vms[421] = vmalloc (vm, 72);
	vms[422] = vmalloc (vm, 4);
	vms[423] = vmalloc (vm, 72);
	vms[424] = vmalloc (vm, 16);
	vms[425] = vmalloc (vm, 2);
	vms[426] = vmalloc (vm, 72);
	vms[427] = vmalloc (vm, 4);
	vms[428] = vmalloc (vm, 72);
	vms[429] = vmalloc (vm, 16);
	vms[430] = vmalloc (vm, 5);
	vms[431] = vmalloc (vm, 72);
	vms[432] = vmalloc (vm, 16);
	vms[433] = vmalloc (vm, 16);
	vms[434] = vmalloc (vm, 72);
	vms[435] = vmalloc (vm, 5);
	vms[436] = vmalloc (vm, 72);
	vms[437] = vmalloc (vm, 16);
	vms[438] = vmalloc (vm, 7);
	vms[439] = vmalloc (vm, 72);
	vms[429] = vmresize (vm, vms[429], 48, VM_RSCOPY);
	vms[440] = vmalloc (vm, 5);
	vms[441] = vmalloc (vm, 72);
	vms[442] = vmalloc (vm, 16);
	vms[443] = vmalloc (vm, 2);
	vms[444] = vmalloc (vm, 72);
	vms[445] = vmalloc (vm, 5);
	vms[446] = vmalloc (vm, 72);
	vms[447] = vmalloc (vm, 16);
	vms[448] = vmalloc (vm, 49);
	vms[449] = vmalloc (vm, 72);
	vms[450] = vmalloc (vm, 4);
	vms[451] = vmalloc (vm, 72);
	vms[452] = vmalloc (vm, 16);
	vms[453] = vmalloc (vm, 2);
	vms[454] = vmalloc (vm, 72);
	vms[455] = vmalloc (vm, 4);
	vms[456] = vmalloc (vm, 72);
	vms[457] = vmalloc (vm, 16);
	vms[458] = vmalloc (vm, 5);
	vms[459] = vmalloc (vm, 72);
	vms[460] = vmalloc (vm, 16);
	vms[461] = vmalloc (vm, 16);
	vms[462] = vmalloc (vm, 72);
	vms[463] = vmalloc (vm, 5);
	vms[464] = vmalloc (vm, 72);
	vms[465] = vmalloc (vm, 16);
	vms[466] = vmalloc (vm, 7);
	vms[467] = vmalloc (vm, 72);
	vms[457] = vmresize (vm, vms[457], 48, VM_RSCOPY);
	vms[468] = vmalloc (vm, 5);
	vms[469] = vmalloc (vm, 72);
	vms[470] = vmalloc (vm, 16);
	vms[471] = vmalloc (vm, 3);
	vms[472] = vmalloc (vm, 72);
	vms[473] = vmalloc (vm, 5);
	vms[474] = vmalloc (vm, 72);
	vms[475] = vmalloc (vm, 16);
	vms[476] = vmalloc (vm, 49);
	vms[477] = vmalloc (vm, 72);
	vms[478] = vmalloc (vm, 4);
	vms[479] = vmalloc (vm, 72);
	vms[480] = vmalloc (vm, 16);
	vms[481] = vmalloc (vm, 2);
	vms[482] = vmalloc (vm, 72);
	vms[483] = vmalloc (vm, 4);
	vms[484] = vmalloc (vm, 72);
	vms[485] = vmalloc (vm, 16);
	vms[486] = vmalloc (vm, 5);
	vms[487] = vmalloc (vm, 72);
	vms[488] = vmalloc (vm, 16);
	vms[489] = vmalloc (vm, 55);
	vms[490] = vmalloc (vm, 72);
	vms[491] = vmalloc (vm, 5);
	vms[492] = vmalloc (vm, 72);
	vms[493] = vmalloc (vm, 16);
	vms[494] = vmalloc (vm, 7);
	vms[495] = vmalloc (vm, 72);
	vms[485] = vmresize (vm, vms[485], 48, VM_RSCOPY);
	vms[496] = vmalloc (vm, 5);
	vms[497] = vmalloc (vm, 72);
	vms[498] = vmalloc (vm, 16);
	vms[499] = vmalloc (vm, 2);
	vms[500] = vmalloc (vm, 72);
	vms[501] = vmalloc (vm, 5);
	vms[502] = vmalloc (vm, 72);
	vms[503] = vmalloc (vm, 16);
	vms[504] = vmalloc (vm, 135);
	vms[505] = vmalloc (vm, 72);
	vms[506] = vmalloc (vm, 4);
	vms[507] = vmalloc (vm, 72);
	vms[508] = vmalloc (vm, 16);
	vms[509] = vmalloc (vm, 2);
	vms[510] = vmalloc (vm, 72);
	vms[511] = vmalloc (vm, 4);
	vms[512] = vmalloc (vm, 72);
	vms[513] = vmalloc (vm, 16);
	vms[514] = vmalloc (vm, 5);
	vms[515] = vmalloc (vm, 72);
	vms[516] = vmalloc (vm, 16);
	vms[517] = vmalloc (vm, 55);
	vms[518] = vmalloc (vm, 72);
	vms[519] = vmalloc (vm, 5);
	vms[520] = vmalloc (vm, 72);
	vms[521] = vmalloc (vm, 16);
	vms[522] = vmalloc (vm, 7);
	vms[523] = vmalloc (vm, 72);
	vms[513] = vmresize (vm, vms[513], 48, VM_RSCOPY);
	vms[524] = vmalloc (vm, 5);
	vms[525] = vmalloc (vm, 72);
	vms[526] = vmalloc (vm, 16);
	vms[527] = vmalloc (vm, 2);
	vms[528] = vmalloc (vm, 72);
	vms[529] = vmalloc (vm, 5);
	vms[530] = vmalloc (vm, 72);
	vms[531] = vmalloc (vm, 16);
	vms[532] = vmalloc (vm, 135);
	vms[533] = vmalloc (vm, 72);
	vms[534] = vmalloc (vm, 4);
	vms[535] = vmalloc (vm, 72);
	vms[536] = vmalloc (vm, 16);
	vms[537] = vmalloc (vm, 2);
	vms[538] = vmalloc (vm, 72);
	vms[146] = vmresize (vm, vms[146], 240, VM_RSCOPY);
	vms[539] = vmalloc (vm, 4);
	vms[540] = vmalloc (vm, 72);
	vms[541] = vmalloc (vm, 16);
	vms[542] = vmalloc (vm, 5);
	vms[543] = vmalloc (vm, 72);
	vms[544] = vmalloc (vm, 16);
	vms[545] = vmalloc (vm, 55);
	vms[546] = vmalloc (vm, 72);
	vms[547] = vmalloc (vm, 5);
	vms[548] = vmalloc (vm, 72);
	vms[549] = vmalloc (vm, 16);
	vms[550] = vmalloc (vm, 7);
	vms[551] = vmalloc (vm, 72);
	vms[541] = vmresize (vm, vms[541], 48, VM_RSCOPY);
	vms[552] = vmalloc (vm, 5);
	vms[553] = vmalloc (vm, 72);
	vms[554] = vmalloc (vm, 16);
	vms[555] = vmalloc (vm, 2);
	vms[556] = vmalloc (vm, 72);
	vms[557] = vmalloc (vm, 5);
	vms[558] = vmalloc (vm, 72);

	texit(0);
}
